koopman operator